COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		Parikh is a productive researcher in the applications of logic to
C00004 ENDMK
C⊗;
	Parikh is a productive researcher in the applications of logic to
computer science and in the development of the relevant parts of logic.

	His venture into non-monotonic logical formalisms and
in non-monotonic logics of knowledge promises interesting
and useful results, because there are many problems that
call for the kind of research Parikh has carried out in the past.
The formalization of knowledge about knowledge is important both
theoretically and in its applications to AI.
I am unable to offer a detailed evaluation of his logic, for lack
of time to study the current state of knowledge formalisms in which
I am not presently active.

	I am not at all prepared to comment on the work on dynamic
or probabilistic logic.

	However, as is the case with most mathematically inclined
researchers, Parikh is less successful in making sure that his theory is
applicable than in developing the mathematical properties of the
formalisms he treats.  In the present case, it would be worthwhile
for him to consider more concrete examples of what an intelligent
computer program should know about what people or other programs
know.